<?php
  /* Instructions: whenever you want to switch site mode to maintenance mode, 
     just rename this file to "maintenance.inc". This file is automatically loaded
     by (almost) every page on the site and a "maintenance mode" message is
     displayed in case it exists. */

  $MAINTENANCE_MODE = true;
?>